A._Chagrov,_M._Zakharyaschev;_"Modal_Logic",_Thm_3.62